Fixed-point combinator - PDFSEARCH.IO - Document Search Engine

Fixed-point combinator
Results: 121

#	Item
11	Progress as Compositional Lock-Freedom Marco Carbone 1 2 Add to Reading List Source URL: www.dcs.gla.ac.uk Language: English - Date: 2014-03-24 08:33:36 Deduction Lambda calculus Process calculi Π-calculus Function Valuation Fixed-point combinator Branch point Entailment Mathematics Logic Theoretical computer science
12	Combinators for Bi-Directional Tree Transformations: A Linguistic Approach to the View Update Problem J. NATHAN FOSTER University of Pennsylvania MICHAEL B. GREENWALD Bell Labs, Lucent Technologies Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2007-01-16 16:08:21 Mathematics Combinatory logic Fixed-point combinator Recursion Camera lens Theoretical computer science Lambda calculus Applied mathematics
13	Typed Normal Form Bisimulation Soren B. Lassen1 and Paul Blain Levy2 1 2 Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2007-12-20 12:37:08 Logic in computer science Lambda calculus Process calculi Π-calculus Bisimulation Combinatory logic Fixed-point combinator Sheaf Theoretical computer science Applied mathematics Mathematics
14	A Self-Hosting Evaluator using HOAS A Scheme Pearl Eli Barzilay Northeastern University Add to Reading List Source URL: schemeworkshop.org Language: English - Date: 2011-08-12 16:48:16 Lambda calculus Recursion Subroutines Computability theory Theoretical computer science Higher-order abstract syntax Fixed-point combinator Scheme Continuation-passing style Software engineering Computing Computer programming
15	A Blame for All (revised) Amal Ahmed, Northeastern University James T. Perconti, Northeastern University Jeremy G. Siek, Indiana University Philip Wadler, University of Edinburgh Add to Reading List Source URL: wphomes.soic.indiana.edu Language: English - Date: 2014-08-14 08:06:44 Lambda calculus Computer science Fixed-point combinator Simply typed lambda calculus Typed lambda calculus Polymorphism System F Type system Type safety Theoretical computer science Mathematics Type theory
16	The Why of Y Richard P. Gabriel Lucid, Inc. and Stanford University Did you ever wonder how Y works and how anyone could ever have thought of it? In this note I’ll try to explain to you not only how it works, but how s Add to Reading List Source URL: www.dreamsongs.com Language: English - Date: 2012-08-04 16:00:09 Declarative programming Fixed-point combinator Closure Function Combinatory logic Currying Factorial Binary lambda calculus Mathematics Lambda calculus Software engineering
17	Typed Normal Form Bisimulation for Parametric Polymorphism Soren B. Lassen Google, Inc. Paul Blain Levy Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2008-07-15 06:16:32 Lambda calculus Computability theory Fixed-point combinator Combinatory logic Sheaf Theoretical computer science Mathematics Applied mathematics
18	Introduction to Computing: Explorations in Language, Logic, and Machines Add to Reading List Source URL: www.computingbook.org Language: English - Date: 2011-08-24 08:03:06 Recursion Computability theory Theoretical computer science Function Binomial coefficient Factorial Scheme Fixed-point combinator Lambda calculus Mathematics Combinatorics Integer sequences
19	Toward abstract profiling Nguyen-Minh BUI D´epartement d’informatique et de g´enie logiciel, Universit´e Laval, Canada Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2012-08-10 19:21:20 Combinatory logic Lambda calculus Procedural programming languages Computability theory Eval Fixed-point combinator Function Expression Conditional Mathematics Theoretical computer science Computing
20	Generating a Pattern Matching Compiler by Partial Evaluation Jesper Jørgensen ∗ DIKU, Department of Computer Science University of Copenhagen Universitetsparken 1, DK-2100 Copenhagen Ø Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:05:04 Logic in computer science Models of computation Lambda calculus Functional programming Programming language semantics Denotational semantics Fixed-point combinator Compiler-compiler Compiler Software engineering Computing Theoretical computer science

UPDATE